A system handling RCC-8 queries on 2D regions representable in the closure algebra of half-planes

BOOK CHAPTER published 1998 in Lecture Notes in Computer Science

Authors: Brandon Bennett | Amar Isli | Anthony G. Cohn

Some quasi-perfect cyclic codes

BOOK CHAPTER published 1986 in Applied Algebra, Algorithmics and Error-Correcting Codes

Authors: J. L Dornstetter

Computing and Visualizing Closure Objects Using Relation Algebra and RelView

BOOK CHAPTER published 2009 in Computer Algebra in Scientific Computing

Authors: Rudolf Berghammer | Bernd Braßel

Eigenvalue Method with Symmetry and Vibration Analysis of Cyclic Structures

BOOK CHAPTER published 2014 in Computer Algebra in Scientific Computing

Authors: Aurelien Grolet | Philippe Malbos | Fabrice Thouverez

Ways of Maintaining Arc Consistency in Search Using the Cartesian Representation

BOOK CHAPTER published 2000 in New Trends in Constraints

Authors: Marius-Călin Silaghi | Djamila Sam-Haroud | Boi Faltings

Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView

BOOK CHAPTER published 2006 in Relations and Kleene Algebra in Computer Science

Authors: Rudolf Berghammer

Computational Social Choice Using Relation Algebra and RelView

BOOK CHAPTER published 2009 in Relations and Kleene Algebra in Computer Science

Authors: Harrie de Swart | Rudolf Berghammer | Agnieszka Rusinowska

A New Method for Ordering Binary States Probabilities in Reliability and Risk Analysis

BOOK CHAPTER published 2002 in Lecture Notes in Computer Science

Authors: Luis González

Ternary decision diagram optimisation of Reed-Muller logic functions using a genetic algorithm for variable and simplification rule ordering

BOOK CHAPTER published 1995 in Evolutionary Computing

Authors: J. F. Miller | P. Thomson | P. V. G. Bradbeer

Using Computer Algebra for Rapid Development of ITS Components in Engineering

BOOK CHAPTER published 2000 in Intelligent Tutoring Systems

Authors: Burkhard Alpers

New systolic architectures for cyclic code encoding

BOOK CHAPTER published 1991 in Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

Authors: Menouer Diab

Certification of Compiler Optimizations Using Kleene Algebra with Tests

BOOK CHAPTER published 2000 in Computational Logic — CL 2000

Authors: Dexter Kozen | Maria-Cristina Patron

Mesh Vertex Pose and Position Interpolation Using Geometric Algebra

BOOK CHAPTER published in Articulated Motion and Deformable Objects

Authors: Rich Wareham | Joan Lasenby

Solving Selection Problems Using Preference Relation Based on Bayesian Learning

BOOK CHAPTER published 2000 in Inductive Logic Programming

Authors: Tomofumi Nakano | Nobuhiro Inuzuka

Using Handheld Devices in Synchronous Collaborative Scenarios

BOOK CHAPTER published 2000 in Handheld and Ubiquitous Computing

Authors: Jörg Roth | Claus Unger

Managing Aging Data Using Persistent Views

BOOK CHAPTER published 2000 in Cooperative Information Systems

Authors: Janne Skyt | Christian S. Jensen

New class of cyclic, random and burst error correcting codes

BOOK CHAPTER published 1989 in Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

Authors: E. Olcayto | A. Birse

The heisenberg model

BOOK CHAPTER published 2000 in Lecture Notes in Mathematics

Authors: Dmitri R. Yafaev

Specification of an Active Database System Application Using Dynamic Relation Nets

BOOK CHAPTER published 2000 in Computational Logic — CL 2000

Authors: Laurent Allain | Pascal Yim

On the Hardness of Approximating Some NP-Optimization Problems Related to Minimum Linear Ordering Problem

BOOK CHAPTER published 2000 in Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

Authors: Sounaka Mishra | Kripasindhu Sikdar